面向办公自动化的群签名解决方案

随着办公自动化(OA)近年的飞速发展,对于数字签名的要求越来越高,这不仅体现在数字签名的安全程度上,同时也对签名形式的多样性提出了要求。群签名是近年来提出的一种新型签名方案,由于OA系统本身所特有的易于管理,效率高等特点使的该项技术较之在电子商务领域有着更高的可行性,本文论述了利用群签名算法结合证书认证等技术,创建一个针对办公自动化的群签名应用方案。     

加工时间依赖工件位置的单机成组排序问题

排序问题是一类重要的组合优化问题,现代排序问题突破了经典排序问题的种种假设,有着越来越广阔的应用前景。对加工时间依赖于工件位置的单机成组排序问题进行了研究,讨论了成组技术中,要求同一组内工件必须连续加工,加工时间的函数变量是工件所在的加工位置,目标函数分别为极小化最大完工时间与总完工时间。分别给出其多项式时间的最优算法。     

卫星群分离控制方法研究

根据星群分离控制的一般要求，本文研究了卫星群的相对运动方程，分析了其相对运动特性，在合理的近似假设下对Ｈｉｌｌ方程为出发点，研究了各卫星相对距离限制下的分离控制方法。最后对精确方程与近似方程的仿真比较，表明所设计的健康控制方法是可行的，其结果是可信的。     

2~2值时序逻辑电路的研究及应用

本文讨论了由两位二值触发器构成具有2~2值功能触发器及移位寄存器的方法,给出了它们的时序状态表或流程图。最后还讨论了2~2值移位寄存器在伪随机序列及数据加密中的初步应用。     

黎曼流形中运动群不变量

黎曼流形运动群的研究是微分几何中一个重要问题。本文构造了黎曼流形中亏数为2的一个运动群，进而对黎曼流形度规运动群、共形运动群以及亏数为2的运动群的黎曼不变量进行了刻划。文中证明上述三个运动群之间存在着某种所谓“自相关性”。此外，还给出黎曼空间中共形运动群在共形于黎曼空间的空间中变为度规运动群的一个有趣的例子。     

某型直升机机务训练模拟器的设计与实现

针对某型直升机座舱维修训练需求,设计了机务训练模拟器的几项主要功能,并从硬件和软件实现方面加以论证。     

目标函数误差估算及网格自适应处理

发展了一种基于目标函数误差估算的网格自适应准则,进而通过网格自适应处理提高目标函数计算的效率和准确性。首先描述了目标函数的误差估算及修正的方法,该方法通过伴随方程将原方程的残值误差与目标函数联系起来。然后,基于误差估算建立网格自适应准则,以减少目标函数修正后的剩余误差,提高目标函数计算结果的准确性,并将方法进一步发展至多目标问题。最后将该准则应用于Euler方程控制的NACA0012翼型无粘可压流动的网格自适应模拟。数值计算成功地捕获了与升力、阻力和力矩等目标函数相关的特征流动区域,计算出符合指定精度要求的目标函数值,验证了本文所发展的方法。     

Influences of Form and Function on the Acceptability of Projective Prepositions in Swedish

Abstract

Projective prepositions express the relation between two objects by referring to a direction in space and have traditionally been regarded as expressing purely geometric relations. Recent studies have shown that the appropriateness of English and Spanish projectives also depends on functional relations between objects. This study investigates if the acceptability of the Swedish projectives över, under, ovanför and nedanför are influenced by functional factors as well, and whether över and under are differentially influenced by function than ovanför and nedanför, as has been shown for their English cognates. It also investigates how the shape and parts of the related objects influence their functional interaction, and thereby the acceptability of the prepositions. This is done with respect to the predictions of the AVS-model, a model of the perceptual processes underlying the apprehension of projectives, which takes both the geometric and the functional relation between objects into account. It was found that acceptability judgments about the prepositions are influenced by function as their corresponding English and Spanish prepositions. The acceptability of över was more sensitive to function than ovanför, whereas under and nedanför were not differentially influenced by function, as has been shown for Spanish. It was further found that the shape and parts of both of the related objects influence acceptability regions associated with the prepositions in predictable ways, as functional interactions between objects largely depend on their parts. The results finally show that the AVS-model needs to be further developed in order to account for the form and function of the located object.     

软件可靠性测试数据生成方法研究

阐述了构造非实时软件运行剖面的方法,以及根据运行剖面生成非实时软件可靠性测试数据的方法,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例,系统地演示非实时软件可靠性测试数据的生成过程。     

系统安全性评估中飞行机组人为因素的分析方法

随着飞机系统日益高度综合复杂和自动化水平逐渐提高,飞行员在应对失效或应急情况时往往准备不足,纠正动作可能是不正确、不及时或不完整的,因此系统安全性评估中迫切需要考虑飞行机组人为因素问题。通过分析CCAR25.1309（b）和（c）条款的要求和飞行机组对失效的处理过程,基于功能危险性评估中的失效状态,提出人为因素需求的捕获方法和人为因素分析方法;通过在型号中应用这些方法,从失效状态向告警和程序的角度实现安全性正向设计,建立安全性评估中飞行机组人为因素的完整适航符合性证据链。结果表明：本文提出的方法可有效表明对CCAR25.1309（b）和（c）条款中人为因素相关的适航符合性。